How to Complete Regulations in Multi-agent Systems

In this paper, we deal with regulations that may exist in multiagent systems in order to regulate agent behaviour. More precisely, we discuss two properties of regulations, consistency and ompleteness. After defining what consistency and completeness mean, we propose a way to consistently complete incomplete regulations. This contribution considers that regulations are expressed in a first order deontic logic. We will focus on particular regulations: information exchange policies

A modal logic for reasoning on consistency and completeness of regulations

In this paper, we deal with regulations that may exist in multi-agent systems in order to regulate agent behaviour and we discuss two properties of regulations, that is consistency and completeness. After defining what consistency and completeness mean, we propose a way to consistently complete incomplete regulations. In this contribution, we extend previous works and we consider that regulations are expressed in a first order modal deontic logic

Agents coopératifs et politiques d'échanges d'informations

National audienceDans les systèmes multiagents, les agents sont souvent supposés être coopératifs les uns avec les autres dans leurs échanges, ceci afin de mener à bien une tâche globale. Ils sont également souvent tenus de respecter la politique d'échange d'informations du système qui régule quels échanges sont obligatoires, permis ou interdits entre les agents et sous quelles conditions. Comment dans ce cas les agents peuvent-ils être à la fois coopératifs et obéissants ? Dans cet article, nous définissons une politique d'échange d'informations particulière, que nous appelons politique de coopération, qui est la politique que les agents doivent respecter pour être coopératifs. Ainsi, nous ramenons la problématique d'être à la fois obéissant et coopératif à la problématique de respecter deux politiques d'échange d'informations différentes : la politique qui existe déjà au sein du système et la politique de coopération. Nous étudions également le cas où ces politiques sont conflictuelles et proposons alors de nouvelles définitions des caractères obéissants et coopératifs des agents

A reasoning platform based on the MI Shapley inconsistency value

International audienceIn this paper we show how to build a reasoning platform us- ing an inconsistency value. The idea is to use an inconsistency value for evaluating how much each formula of the belief base is responsible of the inconsistency of the base. Then this evaluation allows us to obtain a strati cation (total pre-order) of the base, that can be used as the preferential input for di erent reasoning tasks, such as inference, belief revision, or conciliation. We show that the obtained operators are interesting and have good logical properties. We use as inconsistency value, the MI Shapley inconsistency value, that is known to have good properties, and that can be computed from minimal inconsistent subsets. We developed a java-based platform, that use the Sat4j library for computing the minimal inconsistent subsets, and that allows to have an e ective way to compute the MI Shapley inconsistent subsets. We implemented also several inference, revision and conciliation methods, that use this inconsistency value. So this provides a complete reasoning platform, that can be used for instance for academic purposes

Can clicker use support learning in a dual-focused second language German course?

This study investigated clicker-use impact in a legal German lecture, given to 65 French students of Law in which the learning focus was both language and content. 36 participants who attended the entire course were tested. Upon their introductory session, students took a preliminary two-fold multiple-choice questionnaire involving 16 questions on legal terminology and 16 on course content. Throughout the 10- week semester, the lecturer administered all questions during regular courses. Each weekly session was conducted alternately with or without clickers. Students answered half of the questions about language and content using clickers, whereas the remaining half involved standard conditions with volunteers raising their hands to answer. At the end of their term, students took the same initial questionnaire as a post-test. A quantitative analysis was performed to assess (a) the enhancement of the acquisition of legal terminology and course content through clicker use and (b) the impact of learners’ pre-test scores on learning gains regarding terminology and content with or without clickers. The clicker group outperformed the non-clicker group with regard to a post-test concerning legal terminology. The findings demonstrate that clicker use alleviates the cognitive load induced by learning both new terminology and content

Une logique modale pour raisonner sur la cohérence et la complétude de réglementations

Nous nous intéressons dans ce papier aux réglementations qui peuvent exister dans des systèmes multi-agents pour réguler les comportements des agents. Plus précisément, nous travaillons sur deux propriétés des réglementations, la cohérence et la complétude. Après avoir donné une définition de ces deux notions, nous proposons un cadre permettant de compléter de façon cohérente une réglementation incomplète. Nous considérons dans l'article que les réglementations sont exprimées dans une logique déontique du premier ordre

Cohérence et complétude des réglementations en présence de contraintes

Cet article a pour objet l'étude des réglementations qui existent dans les systèmes multi-agents et qui visent à réguler le comportement des agents. Plus précisément, nous nous intéressons à deux propriétés des réglementations : la cohérence et la complétude, et ce en présence de contraintes (lois de la nature, faits persistants) dont nous montrons l'influence. Nous montrons également comment compléter une réglementation incomplète tout en préservant sa cohérence. Ce travail considère que les réglementations sont exprimées en logique déontique du premier ordre

Une conception pour une production efficace, une approche basée modèles

International audienceThe concept of simultaneous engineering has been used for several years in the industry. However, it rarely aims to think the design of the product and the design of its industrial system (the factory) together. In this paper, we address the need to have a global view of architectural design and manufacturing throughout the entire design process. More precisely, we define a model-based approach which makes it possible to evaluate the impact of a product design on its manufacturability. This approach constitutes a first step, in a long-term perspective, to consider several high-level industrial systems and product designs together and choose the one that gives the best performances.Le concept d'ingénierie simultanée est utilisé depuis plusieurs années dans l'industrie. Cependant, il vise rarement à penser ensemble la conception du produit et la conception de son système industriel (l'usine). Dans cet article, nous abordons la nécessité d'avoir une vision globale de la conception architecturale et de la fabrication tout au long du processus de conception. Plus précisément, nous définissons une approche basée sur un modèle qui permet d'évaluer l'impact de la conception d'un produit sur sa faisabilité. Cette approche constitue une première étape, dans une perspective à long terme, pour considérer ensemble plusieurs systèmes industriels de haut niveau et plusieurs conceptions de produits afin de choisir celui qui donne les meilleures performances

Ordonnancement hiérarchique pour des missions multi-robots

International audienceWe are interested in real case studies involving tasks (here observations on areas of a field) that can be performed by disjunctive resources (robots), as well as operations to prepare these resources (robot movements between observations) which must themselves be decomposed into low-level operations (movements of each robot between different crossing points in the field where each link traversed cannot be occupied by more than one robot at a time). The robots transmit the observation data in real time to the mission centre using a transmission frequency (disjunctive resource). Each observation must be performed by several robots (redundancy) and precedence constraints may be imposed. The problem we consider is to allocate each observation to a robot, to schedule the observations for each one, and to plan the moving tasks in order to minimize the total duration of the mission. The goal is not to obtain an optimal solution, but to obtain good quality solutions quickly. We define a framework for the representation of hierarchical scheduling problems, where tasks are characterized by resource consumption and for which Constraint Programming Models (CMP) can be generated automatically. This framework is based on hierarchical task networks (HTNs), in which high-level tasks, defined by their preconditions and their effects on the state of the system, must be decomposed into primitive tasks by decomposition methods. The framework we consider can be easily generalized to cumulative resources with limited capacity or to non-renewable resources.Nous nous intéressons à des études de cas réelles comportant des tâches (ici des observations sur des zones d’un terrain) qui peuvent être réalisées par des ressources disjonctives (robots), ainsi que des opérations de préparation de ces ressources (mouvements du robot entre observations) qui doivent elles-mêmes être décomposées en opérations de bas niveau (mouvements de chaque robot entre différents points de passage sur le terrain où chaque lien parcouru ne peut pas être occupé par plus d’un robot à la fois). Les robots transmettent les données d’observation en temps réel au centre de mission en utilisant une fréquence d’émission (ressource disjonctive). Chaque observation doit être réalisée par plusieurs robots (redondance) et des contraintes de précédence peuvent être imposées. Le problème que nous considérons consiste à allouer chaque observation à un robot, à ordonnancer les observations pour chacun, et à planifier les tâches de déplacement de manière a minimiser la durée totale de la mission. L’objectif n’est pas l’obtention d’une solution optimale, mais de solutions de bonne qualité rapidement. Nous définissons un cadre de représentation de problèmes d’ordonnancement hiérarchique, où les tâches sont caractérisées par des consommations de ressources et pour lequel des modèles de programmation par contraintes (PPC) peuvent être générés automatiquement. Ce cadre s’inspire des réseaux hiérarchiques de tâches (HTN), dans lesquels des tâches de haut niveau, définies par leurs pré-conditions et leurs effets sur l’état du système, doivent être décomposées en tâches primitives par des méthodes de décomposition. Le cadre que nous considérons peut être facilement généralisé aux ressources cumulatives ayant une capacité limitée ou aux ressources non renouvelables

Enterotoxigenic and Enterohemorrhagic <i>Escherichia coli</i>: Survival and Modulation of Virulence in the Human Gastrointestinal Tract

Enterotoxigenic Escherichia coli (ETEC) and Enterohemorrhagic Escherichia coli (EHEC) are major food‐ and water‐borne pathogens that constitute a serious public health threat in low‐income and developed countries, respectively. Survival and expression of virulence genes in the human digestive tract are key features in bacterial pathogenesis, but the mechanisms behind these processes remain largely unknown due to obvious prohibition of human studies. Use of well‐controlled and multi‐parametric in vitro models can aid in addressing knowledge gaps in ETEC and EHEC pathogenesis. After a general description of the physiopathology of ETEC and EHEC infections, this chapter will give an overview of all the in vitro studies that have investigated the effect of the main physicochemical and biotic parameters of the human gut on pathogen survival and expression of virulence factors. We bring a picture of how ETEC and EHEC are able to adapt to each of the successive environments of the human gastrointestinal tract by reading many cues provided by both the host and the gut microbiota